up previous next

CompleteToOrd [OBSOLETE]    --    [OBSOLETE] renamed MakeTermOrdMat

Description

Renamed MakeTermOrdMat .